1. A Decade of Concurrency Reflections and Perspectives :
Author: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Operating systems (Computers),Software engineering.
2. Autonomous Systems :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automation.,Computer science.,Engineering.,Operating systems (Computers),Software engineering.,Structural control (Engineering),Artificial intelligence.,Automation.,Automation.,Computer science.,Engineering.,Ingénierie.,Intelligent control systems.,Operating systems (Computers),Software engineering.,Structural control (Engineering)
Classification :
Q334
.
A98
2008
3. Compiler Technology
Author: by Derek Beng Kee Kiong.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Operating systems (Computers),Software engineering.
4. Contracts, Scenarios and Prototypes :
Author: by Reinhold Plösch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Software engineering.
Classification :
QA76
.
76
.
D47
B974
2004
5. Cooperating Heterogeneous Systems
Author: by David G. Schwartz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Operating systems (Computers),Software engineering.
6. DIANA An Intermediate Language for Ada
Author: edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
73
.
A35
E358
1983
7. Data structures and algorithms using Python
Author: / Rance D. Necaise
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Python (Computer program language),Algorithms,Data structures (Computer science),COMPUTERS / Software Development & Engineering / General, bisacsh
Classification :
QA76
.
73
.
P98
,
N43
2011
8. Data structures and algorithms using Python
پدیدآورنده : Necaise, Rance D., Rance D. Necaise
موضوع : ، Python )Computer program language(,، Algorithms,، Data structures )Computer science(,، COMPUTERS / Software Development & Engineering / General
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Debugging by thinking :
Author: Robert Charles Metzger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Debugging in computer science.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Debugging in computer science.
Classification :
QA76
.
9
.
D43
M48
2004b
10. Deductive Software Verification – The KeY Book
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامهنویسی کامپیوتر,مهندسی نرم افزار
Classification :
E-Book
,
11. Design problems, frames and innovative solutions /
Author: Martin Dž̆bor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering design.,Software engineering.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Engineering design.,Software engineering.
Classification :
QA76
.
758
.
D97
2009
12. Die 32-Bit-Expedition:
Author: von Thomas Lauer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Operating systems (Computers),Software engineering.
Classification :
QA76
.
76
.
O63
V668
1993
13. Die Schnittstellen von UNIX-Programmen :
Author: von Reinhard Fößmeier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Operating systems (Computers),Software engineering.
Classification :
QA76
.
8
.
U65
V667
1991
14. Die X/Motif Umgebung :
Author: von Robert Barton.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Operating systems (Computers),Software engineering.
Classification :
TK7874
.
6
V667
1994
15. Echtzeitaspekte bei der Koordinierung Autonomer Systeme
Author: Peter Holleczek, Birgit Vogel-Heuser (Hrsg.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks.,Computer science.,Operating systems (Computers),Software engineering.
16. Engineering and scientific application programs available from non-IBM sources
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Engineering--Software--Catalogs,Science--Software--Catalogs,IBM computers--Programming,Computer software--Catalogs
Classification :
TA
،
345
،.
E53
،
1983
17. Euro-Par 2011 Parallel Processing
Author: edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
18. Exploring the Raspberry Pi 2 with C++
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Operating systems (Computers),Software engineering.,Computer Science.,Operating Systems.,Software Engineering.
Classification :
QA76
.
758
19. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
20. Formal techniques for distributed systems :
Author: Holger Giese, Grigore Rosu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
